namespace System
{
    [AttributeUsage(AttributeTargets.All, Inherited = false, AllowMultiple = true)]
    public sealed class AxiomAttribute : Attribute
    {
        public string Comment { private set; get; }

        public AxiomAttribute() { }
        public AxiomAttribute(string Comment) { this.Comment = Comment; }

        public override string ToString() { return "Comment: " + Comment; }
    }
}